// depSolve.h
// Declarations for the dependency solving and graph generating procedures.

#ifndef _DEPSOLVE_H_
#define _DEPSOLVE_H_

#include <vector>
#include <llvm/ADT/APSInt.h>
#include "SubscriptExpr.h"
#include "LoopInfo.h"
#include "DepGraph.h"

DepGraph generateDependencyGraph(LoopNestInfo loopInfo);

bool dependent(SubscriptExpr read, SubscriptExpr write,
                llvm::APSInt lbound, llvm::APSInt ubound);


#endif
